/*
 * boot/vxloader/vxloader.c
 *
 * The VXLoader bootloader
 * Second stage bootloader (loaded by the mbr code)
 *
 * Copyright (C) 2008 - diyr
 *
 */

#include <vxloader.h>

void 
release_info(void)
{
   putstr("VXloader Release #1 (rev 1.00)");
}

int 
_cpuhalt(int errcode) 
{
      putstr("Something wrong happened... System halted.");
      asm volatile("hlt");
}

int 
main(void)
{
   int errcode;
   release_info();
}



